CBMC_GC_FLAGS += --arith mul --merge
include ../make_tester.inc

